7.2 商とQuotient